sorry, I do all my own work and I'm cheap labor... I'd guess about $1000 would be a fair price - but then again a timing belt/ 60K service is about $600-$750 which is also part of a head gasket so maybe I'm wrong. Since you can get a JDM for about $1100, you'd be money ahead to start over and sell salvage parts off the core...